Brinksma, Ed: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Design of a PLC Control Program for a Batch Plant VHS Case Study 1

Mader, Angelika, Brinksma, Ed, Wupper, Hanno, Bauer, Nanette

Journal:

European Journal of Control

Year:

2001

Language:

english

File:

PDF, 415 KB

english, 2001

2

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Non-Markovian Analysis

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Year:

2001

Language:

english

File:

PDF, 496 KB

english, 2001

3

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 119 KB

english, 2002

4

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 199 KB

english, 2002

5

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Deciding Separation Formulas with SAT

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 214 KB

english, 2002

6

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Incremental development of deadlock-free communicating systems

Year:

1997

Language:

english

File:

PDF, 988 KB

english, 1997

7

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Automatic synthesis of specifications from the dynamic observation of reactive programs

Year:

1997

Language:

english

File:

PDF, 817 KB

english, 1997

8

Optimal infinite scheduling for multi-priced timed automata

Patricia Bouyer, Ed Brinksma, Kim G. Larsen

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 649 KB

english, 2008

9

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A brief introduction to coloured Petri Nets

Year:

1997

Language:

english

File:

PDF, 373 KB

english, 1997

10

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Theorem prover support for the refinement of stream processing functions

Year:

1997

Language:

english

File:

PDF, 875 KB

english, 1997

11

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 169 KB

english, 2002

12

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || The bounded retransmission protocol must be on time!

Year:

1997

Language:

english

File:

PDF, 1004 KB

english, 1997

13

PROCESS ALGEBRAIC APPROACH TO HYBRID SYSTEMS

Brinksma, Ed, Krilaviĉius, Tomas, Usenko, Yaroslav S.

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 279 KB

english, 2005

14

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Syntactic detection of process divergence and non-local choice in message sequence charts

Year:

1997

Language:

english

File:

PDF, 933 KB

english, 1997

15

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Model-checking for a subclass of event structures

Year:

1997

Language:

english

File:

PDF, 987 KB

english, 1997

16

Specification styles in distributed systems design and verification

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.92 MB

english, 1991

17

Partial order models for quantitative extensions of LOTOS

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella

Journal:

Computer Networks and ISDN Systems

Year:

1998

Language:

english

File:

PDF, 476 KB

english, 1998

18

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Dependability for high-tech systems

Brinksma, Ed, Hooman, Jozef

Year:

2008

File:

PDF, 1.36 MB

2008

19

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Mechanically verified self-stabilizing hierarchical algorithms

Year:

1997

Language:

english

File:

PDF, 947 KB

english, 1997

20

Introduction to the PSTV-IX

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

Journal:

Computer Networks and ISDN Systems

Year:

1991

Language:

english

File:

PDF, 520 KB

english, 1991

21

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Design/CPN — A computer tool for Coloured Petri Nets

Year:

1997

Language:

english

File:

PDF, 955 KB

english, 1997

22

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Visual verification of reactive systems

Year:

1997

Language:

english

File:

PDF, 956 KB

english, 1997

23

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The d/dt Tool for Verification of Hybrid Systems

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 114 KB

english, 2002

24

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Manipulation algorithms for K*BMDs

Year:

1997

Language:

english

File:

PDF, 685 KB

english, 1997

25

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma

Journal:

Computer Networks and ISDN Systems

Year:

1987

Language:

english

File:

PDF, 2.53 MB

english, 1987

26

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Graphs in MetaFrame: The unifying power of polymorphism

Year:

1997

Language:

english

File:

PDF, 1.96 MB

english, 1997

27

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Space efficient reachability analysis through use of pseudo-root states

Year:

1997

File:

PDF, 833 KB

1997

28

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Integration in PVS: Tables, types, and model checking

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

29

Cache consistency by design

Journal:

Distributed Computing

Year:

1999

Language:

english

File:

PDF, 376 KB

english, 1999

30

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions

Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi

Journal:

Formal Methods in System Design

Year:

1998

Language:

english

File:

PDF, 585 KB

english, 1998

31

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Applying SAT Methods in Unbounded Symbolic Model Checking

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 203 KB

english, 2002

32

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 ||

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 8.07 MB

english, 2002

33

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Dependability for high-tech systems: an industry-as-laboratory approach

Brinksma, Ed, Hooman, Jozef

Year:

2008

Language:

english

File:

PDF, 2.18 MB

english, 2008

34

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Stochastic Activity Networks: Formal Definitions and Concepts⋆

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Year:

2001

Language:

english

File:

PDF, 346 KB

english, 2001

35

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Infinite Games and Verification

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 121 KB

english, 2002

36

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Test generation for intelligent networks using model checking

Year:

1997

Language:

english

File:

PDF, 884 KB

english, 1997

37

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A tool to support formal reasoning about computer languages

Year:

1997

Language:

english

File:

PDF, 918 KB

english, 1997

38

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Introduction to Stochastic Petri Nets

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Year:

2001

Language:

english

File:

PDF, 736 KB

english, 2001

39

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Hardware and software synthesis, optimization, and verification from Esterel programs

Year:

1997

Language:

english

File:

PDF, 157 KB

english, 1997

40

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Liveness with (0,1, ∞)- Counter Abstraction

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 266 KB

english, 2002

41

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || The reference component of PEP

Year:

1997

Language:

english

File:

PDF, 833 KB

english, 1997

42

SCHEDULING LACQUER PRODUCTION BY REACHABILITY ANALYSIS – A CASE STUDY

Behrmann, Gerd, Brinksma, Ed, Hendriks, Martijn, Mader, Angelika

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 308 KB

english, 2005

43

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Mosel: A flexible toolset for monadic second-order logic

Year:

1997

Language:

english

File:

PDF, 1.51 MB

english, 1997

44

Managing the verification trajectory

Theo C. Ruys, Ed Brinksma

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 294 KB

english, 2003

45

Verification is experimentation!

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2001

Language:

english

File:

PDF, 113 KB

english, 2001

46

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || IF-2.0: A Validation Environment for Component-Based Real-Time Systems

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 106 KB

english, 2002

47

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Interface Compatibility Checking for Software Modules

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 209 KB

english, 2002

48

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Formal verification of statecharts with instantaneous chain reactions

Year:

1997

Language:

english

File:

PDF, 856 KB

english, 1997

49

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Compositional state space generation from Lotos programs

Year:

1997

Language:

english

File:

PDF, 1.05 MB

english, 1997

50

Verification and optimization of a PLC control schedule

Ed Brinksma, Angelika Mader, Ansgar Fehnker

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2002

Language:

english

File:

PDF, 351 KB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски